683968dd07d5dce8e77b599b519de4d32c8f1171,examples/it.xsemantics.example.lambda/xsemantics-gen/it/xsemantics/example/lambda/xsemantics/LambdaXsemanticsSystem.java,LambdaXsemanticsSystem,applyRuleVariableType,#RuleEnvironment#RuleApplicationTrace#TypeSubstitutions#Variable#,842
Before Change
protected Result<Type> applyRuleVariableType(final RuleEnvironment G, final RuleApplicationTrace _trace_, final TypeSubstitutions substitutions, final Variable variable) throws RuleFailedException {
Type type = null; // output parameter
Parameter _ref = variable.getRef();
Type _env = this.<Type>env(G, _ref, Type.class);
Type _copy = EcoreUtil.<Type>copy(_env);
Type _typesubstitution = this.typesubstitutionInternal(_trace_, substitutions, _copy);
type = _typesubstitution;
return new Result<Type>(type);
}
After Change
protected Result<Type> applyRuleVariableType(final RuleEnvironment G, final RuleApplicationTrace _trace_, final TypeSubstitutions substitutions, final Variable variable) throws RuleFailedException {
Type type = null; // output parameter
type = this.typesubstitutionInternal(_trace_, substitutions,
EcoreUtil.<Type>copy(this.<Type>env(G, variable.getRef(), Type.class)));
return new Result<Type>(type);
}